The patch removes old Xenbus files, fixes 0 length mmu_updates table bug
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Fri, 24 Mar 2006 09:52:10 +0000 (10:52 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Fri, 24 Mar 2006 09:52:10 +0000 (10:52 +0100)
commit70f46c304582d9671ca3e5f6843e8edbd662fee8
tree55acc8264e265f4d374078254cf257e9ee8370fa
parentc7b965a01c79f34586562d1e2b8eda2c00449bb2
The patch removes old Xenbus files, fixes 0 length mmu_updates table bug
(bugfix by Melvin Anderson) and adds missing console.h header file
(again spotted by Melvin).

Signed-off-by: Grzegorz Milos <gm281@cam.ac.uk>
extras/mini-os/include/console.h [new file with mode: 0644]
extras/mini-os/mm.c
extras/mini-os/xenbus/Makefile [deleted file]
extras/mini-os/xenbus/xenbus_comms.c [deleted file]
extras/mini-os/xenbus/xenbus_comms.h [deleted file]
extras/mini-os/xenbus/xenbus_xs.c [deleted file]